1. Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدیدآورنده: / by Hans Hermes. Translated by G.T Herman and O. Plassmann
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Recursive functions,Algorithms,Godel's theorem,Computable functions
رده :
QA
248
.
5
.
H413
